Back نظرية لغات البرمجة Arabic Proqramlaşdırma dili nəzəriyyəsi Azerbaijani Теория на езиците за програмиране Bulgarian প্রোগ্রামিং ভাষা তত্ত্ব Bengali/Bangla Teoria de llenguatges de programació Catalan Programming language theory English Teoría de lenguajes de programación Spanish Programazio-lengoaien teoria Basque نظریه زبانهای برنامهنویسی Persian Théorie des langages de programmation French
Teorija programskih jezika je potpolje računarskih znanosti koje se bavi istraživanjem, razvojem, karakterizacijom programskih jezika i nihovih svojstava. Teorija programskih jezika objedinjuje discipline kao: matematiku, lingvistiku, i softverski inženjering. Teorija programskih jezika je jako aktivno područje u računarskim znanostima, i novi programski jezici se pojavljuju redovito na svjetsku scenu.